Church–Turing thesis

Results: 76



#Item
51Theoretical computer science / Mathematical logic / Computable function / Halting problem / Primitive recursive function / Church–Turing thesis / Function / Recursively enumerable set / Algorithm / Mathematics / Theory of computation / Computability theory

CANTOR’S DIAGONAL ARGUMENT: PROOF AND PARADOX Cantor’s diagonal method is elegant, powerful, and simple. It has been the source of

Add to Reading List

Source URL: wiki.laptop.org

Language: English - Date: 2011-07-28 22:14:56
52Computer science / Applied mathematics / Hypercomputation / Church–Turing thesis / Computable function / Computable number / Turing machine / Computability / Algorithm / Theoretical computer science / Computability theory / Theory of computation

doi:[removed]j.amc[removed]

Add to Reading List

Source URL: research.cs.queensu.ca

Language: English - Date: 2006-09-06 13:46:42
53Theory of computation / Turing machine / Models of computation / Alan Turing / Church–Turing thesis / Church–Turing–Deutsch principle / Computable function / Computability / Quantum computer / Theoretical computer science / Computer science / Computability theory

Quantum theory, the Church-Turing principle and the universal quantum computer DAVID D EUTSCH

Add to Reading List

Source URL: www.cs.berkeley.edu

Language: English - Date: 2007-09-05 22:45:42
54Computability theory / Models of computation / Formal methods / Computable function / Algorithm / Church–Turing thesis / Turing machine / Hypercomputation / Computability / Theoretical computer science / Mathematics / Theory of computation

A Formalization of the Church-Turing Thesis Udi Boker and Nachum Dershowitz School of Computer Science, Tel Aviv University

Add to Reading List

Source URL: www.cs.tau.ac.il

Language: English - Date: 2005-04-11 03:56:50
55Mathematics / Computational complexity theory / Kolmogorov complexity / Information theory / Complexity / Computability / Theory of computation / Markov chain / Church–Turing thesis / Theoretical computer science / Computability theory / Applied mathematics

Representing Information with Computational Resource Bounds Daby Sow and Alexandros Eleftheriadis Department of Electrical Engineering

Add to Reading List

Source URL: www.ee.columbia.edu

Language: English - Date: 2004-06-12 00:15:55
56Theory of computation / Computability theory / Alan Turing / Philosophy of artificial intelligence / Algorithm / Church–Turing thesis / Turing test / Turing machine / Philosophy of computer science / Science / Computer science / Theoretical computer science

,~ --~

Add to Reading List

Source URL: www.cse.buffalo.edu

Language: English - Date: 2006-02-07 11:29:31
57Theoretical computer science / Mathematical logic / Computable function / Church–Turing thesis / Function / Algorithm / Recursion / Stephen Cole Kleene / Computability / Computability theory / Mathematics / Theory of computation

PDF Document

Add to Reading List

Source URL: www.ams.org

Language: English - Date: 2010-03-29 15:27:54
58Computer science / Hypercomputation / Church–Turing thesis / Computable function / Turing machine / Computability / Halting problem / Oracle machine / Alan Turing / Theory of computation / Theoretical computer science / Computability theory

PDF Document

Add to Reading List

Source URL: research.cs.queensu.ca

Language: English - Date: 2005-07-27 11:43:32
59Computability theory / Hypercomputation / Computable function / Church–Turing thesis / Computability / Computation / Turing machine / Super-recursive algorithm / Algorithm / Theoretical computer science / Theory of computation / Computer science

doi:[removed]j.amc[removed]

Add to Reading List

Source URL: research.cs.queensu.ca

Language: English - Date: 2006-09-06 13:49:44
60Computability theory / Theory of computation / Models of computation / Classes of computers / Quantum computer / Church–Turing thesis / Computational complexity theory / Computability / Turing machine / Theoretical computer science / Applied mathematics / Computer science

PDF Document

Add to Reading List

Source URL: ftp.qucis.queensu.ca

Language: English - Date: 2006-01-17 09:30:06
UPDATE